Experience with Z Developing a Control Program for a Radiation Therapy Machine Jonathan Jacky , Jonathan Unger, Michael Patrick and Ruedi Risler Radiation Oncology Box

Source URL: staff.washington.edu

• Health
• Computing
• Medical physics
• Formal methods
• Theoretical computer science
• Therapy
• Information and communications technology
• Radiation therapy
• Z notation
• Computer
• Software

Fibbing: Central Control over Distributed Routing www.fibbing.net Olivier Tilmans UCLouvain

Source URL: fibbing.net

• Internet architecture
• Computing
• Routing protocols
• Information and communications technology
• Network architecture
• Computer networking
• Networking hardware
• Router
• Server appliance
• Interior gateway protocol
• Routing
• Computer network

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: cs.nyu.edu

• Computational complexity theory
• Theory of computation
• IP
• Proof of knowledge
• NP
• Zero-knowledge proof
• Certificate
• Theoretical computer science
• Applied mathematics

Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Logic
• Metaphysics
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• Non-classical logic
• Model checking
• Many-valued logic
• Lattice

On the Co-Existence of Distributed and Centralized Routing Control-Planes Stefano Vissicchio UCLouvain

Source URL: inl.info.ucl.ac.be

• Routing protocols
• Computing
• Network architecture
• Data transmission
• Internet protocols
• Internet Standards
• Internet architecture
• OpenFlow
• Open Shortest Path First
• Enhanced Interior Gateway Routing Protocol
• Routing
• IS-IS

ALINEAMIENTO DE POLITICAS DE ACCESO ABIERTO: LISTA DE CONTROL Rellene este formulario seleccionando las optiones mostradas, que corresponden a los requisitos del Modelo General de Acuerdo de Financiación para Múltiples

Source URL: www.pasteur4oa.eu

2018 17th ACM/IEEE International Conference on Information Processing in Sensor Networks Monitoring Meteorological Parameters With Crowdsourced Air Traffic Control Data Roman Trüb

Source URL: www.lenders.ch

• Meteorology
• Equipment
• Physical geography
• Avionics
• Air traffic control
• Aircraft Meteorological Data Relay
• Atmospheric thermodynamics
• Measuring instruments
• Secondary surveillance radar
• Automatic dependent surveillance broadcast
• Radiosonde
• OpenSky Network

OUR VIS ION We aim to revolutionize the way companies interact throughout the global financial supply chain. Control over business data will be in the hands of it’s owner - the individual enterprise. Streamlined intera

Source URL: www.centrifuge.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Decentralization
• Computing
• Distributed computing
• Ethereum
• Cross-platform software
• Non-fungible token
• Decentralized application

Formal Specication and Development of Control System Input/Output Jonathan Jacky Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Computing
• Models of computation
• Software engineering
• Control engineering
• Cognition
• State
• Control theory
• Lookup table
• Variable
• Dependent and independent variables

DOMAIN SPECIFIC LANGUAGES FOR EFFICIENT SATELLITE CONTROL SOFTWARE DEVELOPMENT Andreas Wortmann, Martin Beet OHB System AG, Universitätsallee 27-29, 28359 Bremen, Germany, Email: Tel.: +

Source URL: mbeddr.com

• Computing
• Software engineering
• Software architecture
• Information and communications technology
• Domain-specific language
• Software development
• Software
• Component-based software engineering
• Application software